using System;
using System.Collections.Generic;
using System.Text;
using Weazel.Gezel.Model.Errors;

namespace Weazel.Gezel.Model
{
    public partial class OptionDirective : IVerifiable
    {
        public void Verify(ref List<VerificationError> errors, ref List<VerificationWarning> warnings, params object[] arguments)
        {
            if (value != "vcd" && value != "profile_toggle_alledge" && value != "profile_display_operations")
            {
                ErrorMessage message = new ErrorMessage(string.Format("Ignoring unknown option '{0}' at ", value));
                message.AddPosition(this.startPosition);
                warnings.Add(new VerificationWarning(message));
            }
        }
    }
}
